$\vdash$  (tt = ff) $\vee$ ($\neg$(tt = ff))